On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Varieties of Implicative Semilattices

Fraction Structure on Bounded Implicative Bck-algebras

In this paper, by considering the notion of ∧-closed set in BCK-algebras, we construct the fractions of BCK-algebras and we get some related results.

Positive Implicative Ordered Filters of Implicative Semigroups

We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered f...

Positive Implicative-Artinian and Positive Implicative Noetherian Hyper Bck-Algebras

The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...

Fuzzy Positive Implicative Ordered Filters of Implicative Semigroups

We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...